Nuprl Definition : w-s
0,22
postcript
pdf
s(
i
;
t
).
x
== 1of(2of(2of(2of(
w
))))(
i
,
t
,
x
)
latex
clarification:
w-s(
w
;
i
;
t
;
x
) == 1of(2of(2of(2of(
w
))))(
i
,
t
,
x
)
latex
Definitions
f
(
a
)
,
1of(
t
)
,
2of(
t
)
FDL editor aliases
w-s
origin
